/**
 * RepeatedSeparator trennt Textteile durch eine Leerzeile gefolgt 
 * von beliebig vielen gleichen Textzeilen, die den Inhalt eines im 
 * Konstruktor gesetzten (moeglicherweise leeren) Strings enthalten, 
 * und einer weiteren Leerzeile. Die Anzahl der Textzeilen zwischen den 
 * Leerzeilen ist nach der Initialisierung 0. Mit setLineCount kann diese
 * Anzahl erhoeht werden.
 * 
 * 
 * @author Konrad Paumann
 * @author Maximilian Csuk
 * @author Bernhard Denner
 * 
 */
public class RepeatedSeparator extends StringSeparator {
	
	private int lineCount;
	private String text;

	// text can be empty
	// sets the lineCount to 0
	// sets the text
	public RepeatedSeparator(String text) {
		lineCount = 0;
		this.text = text;
	}
	
	// lineCount must always be >= 0
	// sets the lineCount
	public void setLineCount(int lineCount) {
		this.lineCount = lineCount;
	}
	
	// returns lineCount >= 0
	public int getLineCount() {
		return lineCount;
	}
	
	// returns text
	public String getText() {
		return text;
	}
}
